A Road Map of Updating in ASP

نویسندگان

  • J. C. Acosta Guadarrama
  • Jürgen Dix
  • Gerhard R. Joubert
چکیده

As one of the major and traditional topics of Artificial Intelligence over many years, knowledge representation and reasoning has proved to be a strong theoretical framework for Logic Programming to manage dynamic knowledge bases. In this report, we go through current and some of those past proposals to update ASP programs, by analysing their features and identifying challenges to represent correct evolving knowledge.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Research on Updating of Urban Large Scale Road Map Based on High Resolution Remote Sensing Image

Road feature is one of the most important features of urban. The change of road reflects construction speed of an urban. map road updating timely and exactly becomes an urgent issue. Current method updating of road feature is carried out complete manually, and has the disadvantage of tending to lose changed road and low automatic level. The updating of map road feature including two parts: one ...

متن کامل

Spatio-temporal Modeling in Road Network Change Detection and Updating

Automatic road map updating has been one of the difficult and important research topics in the community of geomatics. An operational road map updating system should include three key components: the generation of a new version of roads, the automatic road change detection/updating and the spatio-temporal modelling of road data. Special considerations have to be given to the spatio-temporal mod...

متن کامل

A Framework for Road Change Detection and Map Updating

The updating of road network databases is crucial to many Geographic Information System (GIS) applications such as navigation, urban planning, etc. This paper presents a comprehensive framework for image-based road network updating, in which the following three tasks are performed sequentially: road extraction from imagery, road change detection and updating, and spatio-temporal modeling. For r...

متن کامل

Road Data Updating Using Tools of Matching and Map Generalization

It is one of the important ways for GIS data updating based on map generalization. This paper analyzes the main steps for road data updating based on map generalization. As the core of this updating process, matching method considering the levels analyses and selective omission based on mesh density are developed. The approach for road data updating based on these two tools is proposed, which i...

متن کامل

Change-only Modeling in Navigation Geo-databases

Navigation geo-database is the foundation and vital component of vehicle navigation system. Now almost geo-database is stored in hardware, such as CD, DVD. But, with the development of urban construction, road networks often change, as well as traffic rules. In order to reflect the changes of reality, direct the uses correctly and timely, it’s necessary to update geographic database on time. Th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008